dfa to regular expression conversion